Solid State Logic

Results: 24



#Item
21Logic gates / Electronic design / Integrated circuits / Computer memory / Flip-flop / FO4 / Logical effort / CMOS / Inverter / Electronic engineering / Electronics / Digital electronics

IEEE JOURNAL OF SOLID-STATE CIRCUITS, VOL. 42, NO. 6, JUNE[removed]The Effect of the System Specification on the Optimal Selection of Clocked Storage Elements

Add to Reading List

Source URL: www.acsel-lab.com

Language: English - Date: 2014-05-23 03:19:56
22Propositional calculus / Model theory / Predicate logic / Metalogic / Ladder logic / First-order logic / Logic programming / Formal verification / Function / Logic / Mathematics / Mathematical logic

Verification of solid state interlocking programs Phillip James, Andy Lawrence Faron Moller, Markus Roggenbach,

Add to Reading List

Source URL: www.cs.swan.ac.uk

Language: English - Date: 2013-09-27 06:58:46
23Propositional calculus / Predicate logic / Model theory / Formal languages / Ladder logic / Model checking / Logic programming / First-order logic / Interlocking / Logic / Mathematical logic / Mathematics

Verification of solid state interlocking programs Phillip James1 , Andy Lawrence1 , Faron Moller1 , Markus Roggenbach1 , Monika Seisenberger1 , Anton Setzer1 , Karim Kanso2 , and Simon Chadwick3 1 Swansea Railway Verifi

Add to Reading List

Source URL: www-compsci.swan.ac.uk

Language: English - Date: 2013-12-12 10:55:19
24Music industry / Malcolm Toft / Album / British EQ / Trident / Hey Jude / 9 / Solid State Logic / Music / Singles / Trident Studios / Trident A Range

PDF Document

Add to Reading List

Source URL: www.toftaudio.com

Language: English - Date: 2010-02-15 21:30:35
UPDATE